#!/bin/bash
# http://yihui.name/cn/2010/12/animation-update-1-1-5/
git filter-branch --index-filter 'git rm -r --cached --ignore-unmatch .' HEAD
git push origin master --force
rm -rf .git/refs/original/
git reflog expire --expire=now --all
git gc --prune=now
git gc --aggressive --prune=now
